%FU  法学部法律学科３年?組 ???????

%23
is_concluded(contract(A,B,C),T):-
 	become_effective(acceptance(B,A, offer(A,B,C)),T).

%%H 下の式で撤回が効力が生じたらどうなるのか、その先のルールを考えて下さい

%15(2)
become_effective(withdrawl(A,B,offer(A,B,C)),T2):-
        reach(withdrawl(A,B,offer(A,B,C)),T2),
        \+(reach(withdrawl(A,B,offer(A,B,C)),T2)),
	reach(offer(A,B,C)B,T1),
	before(T1,T2).

%%H 上の式では、撤回が到達しても、、申込の到達より前後に関係なく、撤回の効力が発生しなくなる

%case3c
reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,t0408).
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,t0409).
reach(withdrawl(anzai,bernard,offer(agriculture_machine,'$50000')),bernard,t0407).